#define PIKA_VERSION_MAJOR 1
#define PIKA_VERSION_MINOR 13
#define PIKA_VERSION_MICRO 2

#define PIKA_EDIT_TIME "2024/01/12 00:25:32"
